algebraic typology

【数学】代数类型学